Skip to content

feat(grammar): update autocompletion with new format#226

Merged
puria merged 17 commits intomainfrom
docs/grammar
Apr 30, 2025
Merged

feat(grammar): update autocompletion with new format#226
puria merged 17 commits intomainfrom
docs/grammar

Conversation

@matteo-cristino
Copy link
Copy Markdown
Collaborator

No description provided.

@matteo-cristino matteo-cristino marked this pull request as draft April 14, 2025 16:07
@matteo-cristino
Copy link
Copy Markdown
Collaborator Author

In this PR I would also like to introduce grammar autogeneration as asked in #200 (but it is a bit more tricky now since the double format of statements)

@matteo-cristino matteo-cristino linked an issue Apr 28, 2025 that may be closed by this pull request
@matteo-cristino matteo-cristino marked this pull request as ready for review April 28, 2025 14:29
@puria puria merged commit bd57f4b into main Apr 30, 2025
8 checks passed
@puria puria deleted the docs/grammar branch April 30, 2025 13:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

autogenerate grammar syntax

2 participants